View-Based Propagator Derivation - (Extended Abstract)
نویسندگان
چکیده
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both with and without coefficients? Constraint variants are ubiquitous: implementing them requires considerable effort, but yields better performance. This abstract shows how to use views to derive propagator variants where derived propagators are perfect in that they inherit essential properties such as correctness and domain and bounds consistency. Techniques for systematically deriving propagators are developed, and the abstract sketches an implementation architecture for views that is independent of the underlying constraint programming system. Evaluation of views implemented in Gecode shows that derived propagators are efficient and that views often incur no overhead. Views have proven essential for implementing Gecode, substantially reducing the amount of code that needs to be written and maintained.
منابع مشابه
Quantum field propagator for extended - objects in the microcanonical ensemble and the S - matrix formulation
Quantum field propagator for extended-objects in the microcanonical ensemble and the S-matrix formulation. Abstract Starting with the well-known Nambu-Goto action for an N-extended body system the propagator in the microcanonical ensemble is explicitly computed. This propagator is independent of the temperature and, in contrast with the previous references, takes account on all the non-local ef...
متن کاملOn the derivation of the Herman–Kluk propagator
Following an earlier derivation by Miller, we give a concise derivation of the Herman–Kluk propagator that fully exploits the symplectic structure of the problem. We also show directly that the version of the thawed Gaussian semiclassical propagator obtained by Baranger and co-workers is equivalent to the linearized Herman–Kluk propagator. PACS numbers: 03.65.−w, 03.65.Sq, 45.20.Jj
متن کاملAlternative Method for Determining the Feynman Propagator of a Non-Relativistic Quantum Mechanical Problem⋆
Abstract. A direct procedure for determining the propagator associated with a quantum mechanical problem was given by the Path Integration Procedure of Feynman. The Green function, which is the Fourier Transform with respect to the time variable of the propagator, can be derived later. In our approach, with the help of a Laplace transform, a direct way to get the energy dependent Green function...
متن کاملFractional Lévy motion through path integrals
Abstract. Fractional Lévy motion (fLm) is the natural generalization of fractional Brownian motion in the context of self-similar stochastic processes and stable probability distributions. In this paper we give an explicit derivation of the propagator of fLm by using path integral methods. The propagators of Brownian motion and fractional Brownian motion are recovered as particular cases. The f...
متن کاملNon–orientable string one–loop corrections in the presence of a B field
We discuss the problem of noncommutative SO(N) gauge field theories from the string one–loop point of view. To this end we propose an expression for the string propagator on the boundary of the Möbius strip in the presence of a constant B field. We discuss in detail the problems related to its derivation. Then we use it to compute the one–loop corrections to two–, three– and four–gluon amplitud...
متن کامل